Home
About
Cn
Dn
Sn
An
Degree
Linear
Irr Reps
Characters
x
:
.
o
wr

Extensions 1→N→G→Q→1 with N=C4:D4 and Q=C22

Direct product G=NxQ with N=C4:D4 and Q=C22
dρLabelID
C22xC4:D464C2^2xC4:D4128,2164

Semidirect products G=N:Q with N=C4:D4 and Q=C22
extensionφ:Q→Out NdρLabelID
C4:D4:1C22 = C4oD4:D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:1C2^2128,1740
C4:D4:2C22 = (C2xD4):21D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:2C2^2128,1744
C4:D4:3C22 = (C2xC8):12D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:3C2^2128,1790
C4:D4:4C22 = M4(2):16D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:4C2^2128,1794
C4:D4:5C22 = C4.2+ 1+4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:5C2^2128,1930
C4:D4:6C22 = C4.142+ 1+4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:6C2^2128,1931
C4:D4:7C22 = D8:9D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:7C2^2128,1996
C4:D4:8C22 = SD16:D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:8C2^2128,1997
C4:D4:9C22 = SD16:7D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:9C2^2128,2000
C4:D4:10C22 = SD16:1D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:10C2^2128,2006
C4:D4:11C22 = SD16:2D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:11C2^2128,2007
C4:D4:12C22 = D4xD8φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:12C2^2128,2011
C4:D4:13C22 = D8:12D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:13C2^2128,2012
C4:D4:14C22 = D4:4D8φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:14C2^2128,2026
C4:D4:15C22 = C42.462C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:15C2^2128,2029
C4:D4:16C22 = C42.41C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:16C2^2128,2038
C4:D4:17C22 = C42.53C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:17C2^2128,2050
C4:D4:18C22 = C42.54C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:18C2^2128,2051
C4:D4:19C22 = C42.471C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:19C2^2128,2054
C4:D4:20C22 = C42.474C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:20C2^2128,2057
C4:D4:21C22 = C22.78C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:21C2^2128,2221
C4:D4:22C22 = C22.79C25φ: C22/C1 → C22 ⊆ Out C4:D416C4:D4:22C2^2128,2222
C4:D4:23C22 = C22.81C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:23C2^2128,2224
C4:D4:24C22 = C22.82C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:24C2^2128,2225
C4:D4:25C22 = C22.83C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:25C2^2128,2226
C4:D4:26C22 = C4:2+ 1+4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:26C2^2128,2228
C4:D4:27C22 = C22.87C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:27C2^2128,2230
C4:D4:28C22 = C22.89C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:28C2^2128,2232
C4:D4:29C22 = C22.103C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:29C2^2128,2246
C4:D4:30C22 = C22.108C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:30C2^2128,2251
C4:D4:31C22 = C22.110C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:31C2^2128,2253
C4:D4:32C22 = C42:C23φ: C22/C1 → C22 ⊆ Out C4:D416C4:D4:32C2^2128,2264
C4:D4:33C22 = C22.123C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:33C2^2128,2266
C4:D4:34C22 = C22.124C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:34C2^2128,2267
C4:D4:35C22 = C22.125C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:35C2^2128,2268
C4:D4:36C22 = C22.128C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:36C2^2128,2271
C4:D4:37C22 = C22.129C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:37C2^2128,2272
C4:D4:38C22 = C22.130C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:38C2^2128,2273
C4:D4:39C22 = C22.132C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:39C2^2128,2275
C4:D4:40C22 = C22.134C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:40C2^2128,2277
C4:D4:41C22 = C22.135C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:41C2^2128,2278
C4:D4:42C22 = C22.140C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:42C2^2128,2283
C4:D4:43C22 = C22.147C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:43C2^2128,2290
C4:D4:44C22 = C22.149C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:44C2^2128,2292
C4:D4:45C22 = C22.150C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:45C2^2128,2293
C4:D4:46C22 = C22.155C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4:46C2^2128,2298
C4:D4:47C22 = C2xC22:D8φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:47C2^2128,1728
C4:D4:48C22 = C2xD4:D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:48C2^2128,1732
C4:D4:49C22 = C24.103D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:49C2^2128,1734
C4:D4:50C22 = C24.177D4φ: C22/C2 → C2 ⊆ Out C4:D416C4:D4:50C2^2128,1735
C4:D4:51C22 = C24.104D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:51C2^2128,1737
C4:D4:52C22 = C24.105D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:52C2^2128,1738
C4:D4:53C22 = C2xC8:7D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:53C2^2128,1780
C4:D4:54C22 = C2xC8:2D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:54C2^2128,1784
C4:D4:55C22 = M4(2):14D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:55C2^2128,1787
C4:D4:56C22 = C23:3D8φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:56C2^2128,1918
C4:D4:57C22 = C24.121D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:57C2^2128,1920
C4:D4:58C22 = C24.125D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:58C2^2128,1924
C4:D4:59C22 = C24.127D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:59C2^2128,1926
C4:D4:60C22 = C2xC23:3D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:60C2^2128,2177
C4:D4:61C22 = C2xC22.29C24φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:61C2^2128,2178
C4:D4:62C22 = C2xC22.31C24φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:62C2^2128,2180
C4:D4:63C22 = C22.38C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:63C2^2128,2181
C4:D4:64C22 = C2xC22.32C24φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:64C2^2128,2182
C4:D4:65C22 = C2xC22.34C24φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:65C2^2128,2184
C4:D4:66C22 = C22.48C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:66C2^2128,2191
C4:D4:67C22 = C22.49C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:67C2^2128,2192
C4:D4:68C22 = C2xD42φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:68C2^2128,2194
C4:D4:69C22 = C2xD4:5D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:69C2^2128,2195
C4:D4:70C22 = C2xD4:6D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:70C2^2128,2196
C4:D4:71C22 = C2xQ8:5D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:71C2^2128,2197
C4:D4:72C22 = C2xQ8:6D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:72C2^2128,2199
C4:D4:73C22 = D4xC4oD4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:73C2^2128,2200
C4:D4:74C22 = C2xC22.47C24φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:74C2^2128,2203
C4:D4:75C22 = C2xC22.49C24φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:75C2^2128,2205
C4:D4:76C22 = C22.64C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:76C2^2128,2207
C4:D4:77C22 = C22.70C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:77C2^2128,2213
C4:D4:78C22 = C22.73C25φ: C22/C2 → C2 ⊆ Out C4:D416C4:D4:78C2^2128,2216
C4:D4:79C22 = C22.74C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:79C2^2128,2217
C4:D4:80C22 = C22.76C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:80C2^2128,2219
C4:D4:81C22 = C22.77C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:81C2^2128,2220
C4:D4:82C22 = C22.94C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:82C2^2128,2237
C4:D4:83C22 = C22.95C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:83C2^2128,2238
C4:D4:84C22 = C22.97C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:84C2^2128,2240
C4:D4:85C22 = C22.102C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:85C2^2128,2245
C4:D4:86C22 = C23.144C24φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:86C2^2128,2252
C4:D4:87C22 = C2xC22.54C24φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:87C2^2128,2257
C4:D4:88C22 = C2xC22.56C24φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4:88C2^2128,2259
C4:D4:89C22 = C22.118C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:89C2^2128,2261
C4:D4:90C22 = C22.122C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:90C2^2128,2265
C4:D4:91C22 = C22.126C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:91C2^2128,2269
C4:D4:92C22 = C22.131C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:92C2^2128,2274
C4:D4:93C22 = C22.138C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:93C2^2128,2281
C4:D4:94C22 = C22.151C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4:94C2^2128,2294
C4:D4:95C22 = C2xC22.19C24φ: trivial image32C4:D4:95C2^2128,2167
C4:D4:96C22 = C2xC22.26C24φ: trivial image64C4:D4:96C2^2128,2174

Non-split extensions G=N.Q with N=C4:D4 and Q=C22
extensionφ:Q→Out NdρLabelID
C4:D4.1C22 = C23:D8φ: C22/C1 → C22 ⊆ Out C4:D416C4:D4.1C2^2128,327
C4:D4.2C22 = C4:C4.D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.2C2^2128,329
C4:D4.3C22 = (C2xC4):D8φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.3C2^2128,330
C4:D4.4C22 = C24.9D4φ: C22/C1 → C22 ⊆ Out C4:D416C4:D4.4C2^2128,332
C4:D4.5C22 = C23:2SD16φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.5C2^2128,333
C4:D4.6C22 = C4:C4.6D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.6C2^2128,335
C4:D4.7C22 = Q8:D4:C2φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.7C2^2128,336
C4:D4.8C22 = C24.12D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.8C2^2128,338
C4:D4.9C22 = C23.5D8φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.9C2^2128,339
C4:D4.10C22 = C4:C4.12D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.10C2^2128,341
C4:D4.11C22 = (C2xC4).5D8φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.11C2^2128,342
C4:D4.12C22 = C24.15D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.12C2^2128,344
C4:D4.13C22 = C24.16D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.13C2^2128,345
C4:D4.14C22 = C4:C4.18D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.14C2^2128,347
C4:D4.15C22 = C4:C4.19D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.15C2^2128,348
C4:D4.16C22 = C24.18D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.16C2^2128,350
C4:D4.17C22 = (C2xQ8):16D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.17C2^2128,1742
C4:D4.18C22 = (C2xQ8):17D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.18C2^2128,1745
C4:D4.19C22 = (C2xC8):11D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.19C2^2128,1789
C4:D4.20C22 = (C2xC8):13D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.20C2^2128,1792
C4:D4.21C22 = (C2xC8):14D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.21C2^2128,1793
C4:D4.22C22 = M4(2):17D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.22C2^2128,1795
C4:D4.23C22 = (C2xD4).301D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.23C2^2128,1828
C4:D4.24C22 = (C2xD4).303D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.24C2^2128,1830
C4:D4.25C22 = (C2xD4).304D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.25C2^2128,1831
C4:D4.26C22 = C42.352C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.26C2^2128,1850
C4:D4.27C22 = C42.353C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.27C2^2128,1851
C4:D4.28C22 = C42.355C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.28C2^2128,1853
C4:D4.29C22 = C42.356C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.29C2^2128,1854
C4:D4.30C22 = C42.358C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.30C2^2128,1856
C4:D4.31C22 = C42.359C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.31C2^2128,1857
C4:D4.32C22 = C42.360C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.32C2^2128,1858
C4:D4.33C22 = C42.385C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.33C2^2128,1905
C4:D4.34C22 = C42.386C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.34C2^2128,1906
C4:D4.35C22 = C42.387C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.35C2^2128,1907
C4:D4.36C22 = C42.388C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.36C2^2128,1908
C4:D4.37C22 = C42.390C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.37C2^2128,1910
C4:D4.38C22 = C42.391C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.38C2^2128,1911
C4:D4.39C22 = C4.152+ 1+4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.39C2^2128,1932
C4:D4.40C22 = C4.162+ 1+4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.40C2^2128,1933
C4:D4.41C22 = C4.182+ 1+4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.41C2^2128,1935
C4:D4.42C22 = C4.192+ 1+4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.42C2^2128,1936
C4:D4.43C22 = C42.406C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.43C2^2128,1952
C4:D4.44C22 = C42.407C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.44C2^2128,1953
C4:D4.45C22 = C42.410C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.45C2^2128,1956
C4:D4.46C22 = C42.411C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.46C2^2128,1957
C4:D4.47C22 = C42.423C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.47C2^2128,1973
C4:D4.48C22 = C42.425C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.48C2^2128,1975
C4:D4.49C22 = C42.426C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.49C2^2128,1976
C4:D4.50C22 = C4.2- 1+4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.50C2^2128,1989
C4:D4.51C22 = C42.25C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.51C2^2128,1990
C4:D4.52C22 = C42.26C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.52C2^2128,1991
C4:D4.53C22 = C42.27C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.53C2^2128,1992
C4:D4.54C22 = C42.29C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.54C2^2128,1994
C4:D4.55C22 = C42.30C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.55C2^2128,1995
C4:D4.56C22 = SD16:6D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.56C2^2128,1998
C4:D4.57C22 = D8:10D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.57C2^2128,1999
C4:D4.58C22 = SD16:8D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.58C2^2128,2001
C4:D4.59C22 = Q16:9D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.59C2^2128,2002
C4:D4.60C22 = Q16:10D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.60C2^2128,2003
C4:D4.61C22 = D8:4D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.61C2^2128,2004
C4:D4.62C22 = D8:5D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.62C2^2128,2005
C4:D4.63C22 = Q16:4D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.63C2^2128,2009
C4:D4.64C22 = Q16:5D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.64C2^2128,2010
C4:D4.65C22 = D4xSD16φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.65C2^2128,2013
C4:D4.66C22 = SD16:10D4φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.66C2^2128,2014
C4:D4.67C22 = SD16:11D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.67C2^2128,2016
C4:D4.68C22 = Q16:12D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.68C2^2128,2017
C4:D4.69C22 = Q16:13D4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.69C2^2128,2019
C4:D4.70C22 = D4:7SD16φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.70C2^2128,2027
C4:D4.71C22 = C42.461C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.71C2^2128,2028
C4:D4.72C22 = D4:8SD16φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.72C2^2128,2030
C4:D4.73C22 = C42.465C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.73C2^2128,2032
C4:D4.74C22 = C42.466C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.74C2^2128,2033
C4:D4.75C22 = C42.468C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.75C2^2128,2035
C4:D4.76C22 = C42.469C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.76C2^2128,2036
C4:D4.77C22 = C42.470C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.77C2^2128,2037
C4:D4.78C22 = C42.42C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.78C2^2128,2039
C4:D4.79C22 = C42.43C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.79C2^2128,2040
C4:D4.80C22 = C42.44C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.80C2^2128,2041
C4:D4.81C22 = C42.45C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.81C2^2128,2042
C4:D4.82C22 = C42.46C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.82C2^2128,2043
C4:D4.83C22 = C42.48C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.83C2^2128,2045
C4:D4.84C22 = C42.49C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.84C2^2128,2046
C4:D4.85C22 = C42.51C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.85C2^2128,2048
C4:D4.86C22 = C42.52C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.86C2^2128,2049
C4:D4.87C22 = C42.55C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.87C2^2128,2052
C4:D4.88C22 = C42.56C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.88C2^2128,2053
C4:D4.89C22 = C42.472C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.89C2^2128,2055
C4:D4.90C22 = C42.473C23φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.90C2^2128,2056
C4:D4.91C22 = C42.475C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.91C2^2128,2058
C4:D4.92C22 = C42.476C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.92C2^2128,2059
C4:D4.93C22 = C42.478C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.93C2^2128,2061
C4:D4.94C22 = C42.479C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.94C2^2128,2062
C4:D4.95C22 = C42.481C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.95C2^2128,2064
C4:D4.96C22 = C42.482C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.96C2^2128,2065
C4:D4.97C22 = D4:5D8φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.97C2^2128,2066
C4:D4.98C22 = D4:9SD16φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.98C2^2128,2067
C4:D4.99C22 = C42.486C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.99C2^2128,2069
C4:D4.100C22 = C42.488C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.100C2^2128,2071
C4:D4.101C22 = C42.489C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.101C2^2128,2072
C4:D4.102C22 = C42.490C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.102C2^2128,2073
C4:D4.103C22 = C42.57C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.103C2^2128,2075
C4:D4.104C22 = C42.59C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.104C2^2128,2077
C4:D4.105C22 = C42.60C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.105C2^2128,2078
C4:D4.106C22 = C42.61C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.106C2^2128,2079
C4:D4.107C22 = C42.62C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.107C2^2128,2080
C4:D4.108C22 = C42.64C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.108C2^2128,2082
C4:D4.109C22 = C42.492C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.109C2^2128,2083
C4:D4.110C22 = C42.494C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.110C2^2128,2085
C4:D4.111C22 = C42.495C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.111C2^2128,2086
C4:D4.112C22 = C42.496C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.112C2^2128,2087
C4:D4.113C22 = C42.498C23φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.113C2^2128,2089
C4:D4.114C22 = C4:2- 1+4φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.114C2^2128,2229
C4:D4.115C22 = C22.101C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.115C2^2128,2244
C4:D4.116C22 = C22.104C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.116C2^2128,2247
C4:D4.117C22 = C22.107C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.117C2^2128,2250
C4:D4.118C22 = C22.133C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.118C2^2128,2276
C4:D4.119C22 = C22.136C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.119C2^2128,2279
C4:D4.120C22 = C22.137C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.120C2^2128,2280
C4:D4.121C22 = C22.143C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.121C2^2128,2286
C4:D4.122C22 = C22.146C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.122C2^2128,2289
C4:D4.123C22 = C22.148C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.123C2^2128,2291
C4:D4.124C22 = C22.153C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.124C2^2128,2296
C4:D4.125C22 = C22.154C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.125C2^2128,2297
C4:D4.126C22 = C22.156C25φ: C22/C1 → C22 ⊆ Out C4:D464C4:D4.126C2^2128,2299
C4:D4.127C22 = C22.157C25φ: C22/C1 → C22 ⊆ Out C4:D432C4:D4.127C2^2128,2300
C4:D4.128C22 = C2xC22.SD16φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.128C2^2128,230
C4:D4.129C22 = C42.375D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.129C2^2128,232
C4:D4.130C22 = C24.53D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.130C2^2128,233
C4:D4.131C22 = C42.403D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.131C2^2128,234
C4:D4.132C22 = C24.150D4φ: C22/C2 → C2 ⊆ Out C4:D416C4:D4.132C2^2128,236
C4:D4.133C22 = C42.55D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.133C2^2128,237
C4:D4.134C22 = C24.54D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.134C2^2128,239
C4:D4.135C22 = C42.57D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.135C2^2128,241
C4:D4.136C22 = C24.56D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.136C2^2128,242
C4:D4.137C22 = C42.58D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.137C2^2128,244
C4:D4.138C22 = C24.58D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.138C2^2128,245
C4:D4.139C22 = C42.59D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.139C2^2128,246
C4:D4.140C22 = C24.59D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.140C2^2128,248
C4:D4.141C22 = C42.61D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.141C2^2128,249
C4:D4.142C22 = C24.60D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.142C2^2128,251
C4:D4.143C22 = C42.63D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.143C2^2128,253
C4:D4.144C22 = C2xQ8:D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.144C2^2128,1730
C4:D4.145C22 = C24.178D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.145C2^2128,1736
C4:D4.146C22 = C2xC8:8D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.146C2^2128,1779
C4:D4.147C22 = C24.144D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.147C2^2128,1782
C4:D4.148C22 = C2xC8:D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.148C2^2128,1783
C4:D4.149C22 = C24.110D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.149C2^2128,1786
C4:D4.150C22 = M4(2):15D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.150C2^2128,1788
C4:D4.151C22 = C2xC22.D8φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.151C2^2128,1817
C4:D4.152C22 = C2xC23.19D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.152C2^2128,1819
C4:D4.153C22 = C2xC23.46D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.153C2^2128,1821
C4:D4.154C22 = C24.115D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.154C2^2128,1823
C4:D4.155C22 = C24.183D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.155C2^2128,1824
C4:D4.156C22 = C24.116D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.156C2^2128,1825
C4:D4.157C22 = C24.117D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.157C2^2128,1826
C4:D4.158C22 = C42.221D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.158C2^2128,1832
C4:D4.159C22 = C42.384D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.159C2^2128,1834
C4:D4.160C22 = C42.223D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.160C2^2128,1835
C4:D4.161C22 = C42.225D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.161C2^2128,1837
C4:D4.162C22 = C42.450D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.162C2^2128,1838
C4:D4.163C22 = C42.226D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.163C2^2128,1840
C4:D4.164C22 = C42.227D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.164C2^2128,1841
C4:D4.165C22 = C42.229D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.165C2^2128,1843
C4:D4.166C22 = C42.230D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.166C2^2128,1844
C4:D4.167C22 = C42.232D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.167C2^2128,1846
C4:D4.168C22 = C42.233D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.168C2^2128,1847
C4:D4.169C22 = C42.235D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.169C2^2128,1849
C4:D4.170C22 = C42.365D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.170C2^2128,1899
C4:D4.171C22 = C42.308D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.171C2^2128,1900
C4:D4.172C22 = C42.366D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.172C2^2128,1901
C4:D4.173C22 = C42.255D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.173C2^2128,1903
C4:D4.174C22 = C42.256D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.174C2^2128,1904
C4:D4.175C22 = C42.257D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.175C2^2128,1912
C4:D4.176C22 = C42.258D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.176C2^2128,1913
C4:D4.177C22 = C42.259D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.177C2^2128,1914
C4:D4.178C22 = C42.260D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.178C2^2128,1915
C4:D4.179C22 = C42.261D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.179C2^2128,1916
C4:D4.180C22 = C23:4SD16φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.180C2^2128,1919
C4:D4.181C22 = C24.123D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.181C2^2128,1922
C4:D4.182C22 = C24.124D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.182C2^2128,1923
C4:D4.183C22 = C24.126D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.183C2^2128,1925
C4:D4.184C22 = C24.129D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.184C2^2128,1928
C4:D4.185C22 = C24.130D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.185C2^2128,1929
C4:D4.186C22 = C42.263D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.186C2^2128,1937
C4:D4.187C22 = C42.264D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.187C2^2128,1938
C4:D4.188C22 = C42.265D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.188C2^2128,1939
C4:D4.189C22 = C42.269D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.189C2^2128,1943
C4:D4.190C22 = C42.270D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.190C2^2128,1944
C4:D4.191C22 = C42.271D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.191C2^2128,1945
C4:D4.192C22 = C42.272D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.192C2^2128,1946
C4:D4.193C22 = C42.275D4φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.193C2^2128,1949
C4:D4.194C22 = C42.276D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.194C2^2128,1950
C4:D4.195C22 = C42.277D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.195C2^2128,1951
C4:D4.196C22 = C42.278D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.196C2^2128,1958
C4:D4.197C22 = C42.279D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.197C2^2128,1959
C4:D4.198C22 = C42.280D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.198C2^2128,1960
C4:D4.199C22 = C42.284D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.199C2^2128,1964
C4:D4.200C22 = C42.285D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.200C2^2128,1965
C4:D4.201C22 = C42.286D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.201C2^2128,1966
C4:D4.202C22 = C42.287D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.202C2^2128,1967
C4:D4.203C22 = C42.290D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.203C2^2128,1970
C4:D4.204C22 = C42.291D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.204C2^2128,1971
C4:D4.205C22 = C42.292D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.205C2^2128,1972
C4:D4.206C22 = C42.293D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.206C2^2128,1977
C4:D4.207C22 = C42.294D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.207C2^2128,1978
C4:D4.208C22 = C42.295D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.208C2^2128,1979
C4:D4.209C22 = C42.296D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.209C2^2128,1980
C4:D4.210C22 = C42.298D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.210C2^2128,1982
C4:D4.211C22 = C42.299D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.211C2^2128,1983
C4:D4.212C22 = C42.300D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.212C2^2128,1984
C4:D4.213C22 = C42.301D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.213C2^2128,1985
C4:D4.214C22 = C42.302D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.214C2^2128,1986
C4:D4.215C22 = C42.304D4φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.215C2^2128,1988
C4:D4.216C22 = C2xC22.33C24φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.216C2^2128,2183
C4:D4.217C22 = C2xC22.36C24φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.217C2^2128,2186
C4:D4.218C22 = C22.44C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.218C2^2128,2187
C4:D4.219C22 = C22.50C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.219C2^2128,2193
C4:D4.220C22 = C22.69C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.220C2^2128,2212
C4:D4.221C22 = C22.71C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.221C2^2128,2214
C4:D4.222C22 = C22.72C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.222C2^2128,2215
C4:D4.223C22 = C22.75C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.223C2^2128,2218
C4:D4.224C22 = C22.80C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.224C2^2128,2223
C4:D4.225C22 = C22.88C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.225C2^2128,2231
C4:D4.226C22 = C22.99C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.226C2^2128,2242
C4:D4.227C22 = C22.100C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.227C2^2128,2243
C4:D4.228C22 = C22.105C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.228C2^2128,2248
C4:D4.229C22 = C22.106C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.229C2^2128,2249
C4:D4.230C22 = C22.111C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.230C2^2128,2254
C4:D4.231C22 = C22.113C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.231C2^2128,2256
C4:D4.232C22 = C22.120C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.232C2^2128,2263
C4:D4.233C22 = C22.127C25φ: C22/C2 → C2 ⊆ Out C4:D432C4:D4.233C2^2128,2270
C4:D4.234C22 = C22.139C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.234C2^2128,2282
C4:D4.235C22 = C22.141C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.235C2^2128,2284
C4:D4.236C22 = C22.142C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.236C2^2128,2285
C4:D4.237C22 = C22.144C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.237C2^2128,2287
C4:D4.238C22 = C22.152C25φ: C22/C2 → C2 ⊆ Out C4:D464C4:D4.238C2^2128,2295
C4:D4.239C22 = C2xC23.36C23φ: trivial image64C4:D4.239C2^2128,2171
C4:D4.240C22 = C22.33C25φ: trivial image32C4:D4.240C2^2128,2176
C4:D4.241C22 = C22.84C25φ: trivial image32C4:D4.241C2^2128,2227
C4:D4.242C22 = C22.96C25φ: trivial image64C4:D4.242C2^2128,2239
C4:D4.243C22 = C23.146C24φ: trivial image64C4:D4.243C2^2128,2255

׿
x
:
Z
F
o
wr
Q
<